$(username)
$(session-time-left-secs)
<script>location.replace('/portal.html');</script>